BaffleText: a human interactive proof
نویسندگان
چکیده
Internet services designed for human use are being abused by programs. We present a defense against such attacks in the form of a CAPTCHA (completely automatic public Turing test to tell computers and humans apart) that exploits the difference in ability between humans and machines in reading images of text. CAPTCHAs are a special case of ‘human interactive proofs,’ a broad class of security protocols that allow people to identify themselves over networks as members of given groups. We point out vulnerabilities of reading-based CAPTCHAs to dictionary and computer-vision attacks. We also survey the literature on the psychophysics of human reading, which suggests fresh defenses available to CAPTCHAs. Motivated by these considerations, we propose BaffleText, a CAPTCHA which uses non-English ‘pronounceable words’ to defend against dictionary attacks, and Gestalt-motivated image-masking degradations to defend against image restoration attacks. Experiments on human subjects confirm the human legibility and user acceptance of BaffleText images. We have found an image-complexity measure that correlates well with user acceptance and assists the generation of challenges to fit the ability gap. Recent computer-vision attacks, run independently by Mori and Malik, suggest that BaffleText is stronger than two existing CAPTCHAs.
منابع مشابه
Interactive Theorem Proving - Modelling the User in the Proof Process
Proving complex problems requires user interaction during proof construction. A major prerequisite for user interaction is that the user is able to understand the proof state in order to guide the prover in finding a proof. Previous evaluations using focus groups for two interactive theorem provers have shown that there exists a gap between the user’s model of the proof and the actual proof per...
متن کاملScatterType: a reading CAPTCHA resistant to segmentation attack
A reading-based CAPTCHA, called ‘ScatterType,’ designed to resist character–segmentation attacks, is described. Its challenges are pseudorandomly synthesized images of text strings rendered in machine-print typefaces: within each image, characters are fragmented using horizontal and vertical cuts, and the fragments are scattered by vertical and horizontal displacements. This scattering is desig...
متن کاملIsar - A Generic Interpretative Approach to Readable Formal Proof Documents
We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interactive theorem proving systems that there is no appropriate notion of proof available that is suitable for human communication, or even just maintenance. Isar’s main aspect is its formal language for natural deduction proofs, whic...
متن کاملCAPTCHA Based Web Security: An Overview
Completely Automatic Public Turing test to tell Computers and Humans Apart (CAPTCHA) is a HIP (Human interactive Proof) system. CAPTCHAs are used to improve the security of Internet based applications in order to ensure that a web based application which is intended to be used by a human being is not maliciously used by Artificially Intelligent programs called bots. As the current CAPTCHA metho...
متن کاملInteractive Proof Construction at the Task Level
Interactive theorem proving systems for mathematics require user interfaces which can present proof states in a human understandable way. Often the underlying calculi of interactive theorem proving systems are problematic for comprehensible presentations since they are not optimally suited for practical, human oriented reasoning in mathematical domains. The recently developed CORE theorem provi...
متن کامل